Wyniki
-
A note on derivation rules in modal logic
Valentin Goranko
Bulletin of the Section of Logic , 24 /2 (1995) s. 98-104 -
Proving unprovability in some normal modal logic
Valentin Goranko
Bulletin of the Section of Logic , 20 /1 (1991) s. 23-29 -
Modal logics of structures
Valentin Goranko, Dimiter Vakarelov
Bulletin of the Section of Logic , 28 /1 (1999) s. 1-10